Commandline GIF to RISC OS sprite converter